Sfoglia per Rivista THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING
Determinizing monitors for HML with recursion
2020-01-01 Aceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna; Örn Kjartansson, Sævar
A fixed-points based framework for compliance of behavioural contracts
2021-01-01 Murgia, Maurizio
Input urgent semantics for asynchronous timed session types
2019-01-01 Murgia, Maurizio
Logical characterisations, rule formats and compositionality for input-output conformance simulation
2019-01-01 Aceto, Luca; Fábregas, Ignacio; Gregorio-Rodríguez, Carlos; Ingólfsdóttir, Anna
Relating two automata-based models of orchestration and choreography
2016-01-01 Basile, Davide; Degano, Pierpaolo; Ferrari, Luigi; Tuosto, E
SOS rule formats for idempotent terms and idempotent unary operators
2014-01-01 Aceto, L; Ingólfsdóttir, A; Goriac, E
A unified rule format for bounded nondeterminism in SOS with terms as labels
2017-01-01 Aceto, L; Fábregas, I; García-Pérez, A; Ingólfsdóttir, A
Verifiable abstractions for contract-oriented systems
2017-01-01 Bartoletti, Massimo; Murgia, Maurizio; Scalas, Alceste; Zunino, Roberto
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Determinizing monitors for HML with recursion | 1-gen-2020 | Aceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna; Örn Kjartansson, Sævar | |
A fixed-points based framework for compliance of behavioural contracts | 1-gen-2021 | Murgia, Maurizio | |
Input urgent semantics for asynchronous timed session types | 1-gen-2019 | Murgia, Maurizio | |
Logical characterisations, rule formats and compositionality for input-output conformance simulation | 1-gen-2019 | Aceto, Luca; Fábregas, Ignacio; Gregorio-Rodríguez, Carlos; Ingólfsdóttir, Anna | |
Relating two automata-based models of orchestration and choreography | 1-gen-2016 | Basile, Davide; Degano, Pierpaolo; Ferrari, Luigi; Tuosto, E | |
SOS rule formats for idempotent terms and idempotent unary operators | 1-gen-2014 | Aceto, L; Ingólfsdóttir, A; Goriac, E | |
A unified rule format for bounded nondeterminism in SOS with terms as labels | 1-gen-2017 | Aceto, L; Fábregas, I; García-Pérez, A; Ingólfsdóttir, A | |
Verifiable abstractions for contract-oriented systems | 1-gen-2017 | Bartoletti, Massimo; Murgia, Maurizio; Scalas, Alceste; Zunino, Roberto |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile